STM: R-base-ma wf

STM: frame-compatible-R-base-ma-pair

STM: compatible-R-base-ma-pair

STM: ma-declm-R-base-ma

STM: frame-compatible-R-base-ma

ABS: [[R]]

STM: R-Dsys-base-wf

STM: R-Dsys-base

STM: R-compat-base

STM: R-compat-Dsys

STM: R-compat-implies

STM: R-Dsys wf

STM: R-Dsys-Rplus

STM: R-interface-base

STM: R-interface

STM: R-Feasible-Dsys

ABS: Possible(R;es)

STM: R-possible wf

STM: R-possible-Rplus

STM: R-Feasible-possible

STM: d-realizes-implies

STM: R-possible-Rconsistent

STM: R-Feasible-consistent